Heuristics and Symmetries in Classical Planning

نویسندگان

  • Alexander Shleyfman
  • Michael Katz
  • Malte Helmert
  • Silvan Sievers
  • Martin Wehrle
چکیده

Heuristic search is a state-of-the-art approach to classical planning. Several heuristic families were developed over the years to automatically estimate goal distance information from problem descriptions. Orthogonally to the development of better heuristics, recent years have seen an increasing interest in symmetry-based state space pruning techniques that aim at reducing the search effort. However, little work has dealt with how the heuristics behave under symmetries. We investigate the symmetry properties of existing heuristics and reveal that many of them are invariant under symmetries.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Heuristics and Symmetries in Classical Planning: Additional Proofs

Proof: We only need to show one direction, since the inverse element σ−1 is also a symmetry. Let π = o1 · . . . · ok be a plan for s and let s0, . . . , sk be the sequence of states such that s0 = s and for 1 ≤ i ≤ k, si = si−1JoiK. Let TΠ = 〈S,E〉. Then we have 〈si−1, si; oi〉 ∈ E for all 1 ≤ i ≤ k and therefore, by the definition of symmetries we have 〈σ(si−1), σ(si);σ(oi)〉 ∈ E and C(σ(oi)) = C...

متن کامل

A Diffusion Equation with Exponential Nonlinearity Recant Developments

The purpose of this paper is to analyze in detail a special nonlinear partial differential equation (nPDE) of the second order which is important in physical, chemical and technical applications. The present nPDE describes nonlinear diffusion and is of interest in several parts of physics, chemistry and engineering problems alike. Since nature is not linear intrinsically the nonlinear case is t...

متن کامل

Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends

Recent domain-determinization techniques have been very successful in many probabilistic planning problems. We claim that traditional heuristic MDP algorithms have been unsuccessful due mostly to the lack of efficient heuristics in structured domains. Previous attempts like mGPT used classical planning heuristics to an all-outcome determinization of MDPs without discount factor ; yet, discounte...

متن کامل

Structural Symmetries of the Lifted Representation of Classical Planning Tasks

We transfer the notion of structural symmetries to lifted planning task representations, based on a generalizing concept of abstract structures we use to model planning tasks. We show that symmetries are preserved by common grounding methods and shed some light on the relation to previous symmetry concepts. An analysis of common planning benchmarks reveals that symmetries occur in the lifted re...

متن کامل

A Hybrid Solution Approach Based on Benders Decomposition and Meta-Heuristics to Solve Supply Chain Network Design Problem

Supply Chain Network Design (SCND) is a strategic supply chain management problem that determines its configuration. This mainly focuses on the facilities location, capacity sizing, technology selection, supplier selection, transportation, allocation of production and distribution facilities to the market, and so on. Although the optimal solution of the SCND problem leads to a significant reduc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015